$l$[$i$:=$x$] $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mklist($\parallel$$l$$\parallel$;update($\lambda$$i$,$j$. $i$=$_{2}$$j$;$\lambda$$i$.$l$[$i$];$i$;$x$))